Identifying Suitability of Any Formal Language for Particular Application Area
نویسندگان
چکیده
Formal specification of a system has been an active area of research since past few decades. There are a number of formal specification languages, Z, VDM, OCL, SDL [1, 2, 3, 4, ] etc. Comparing the different speciûcation methods is not an easy task but it is meaningful in many aspects. This article focus which formal specification language is suitable for particular type of problem e.g. communication type problems, real time application, and problems involving concurrency etc.
منابع مشابه
Mobile, L2 vocabulary learning, and fighting illiteracy: A case study of Iranian semi-illiterates beyond transition level
As mobile learning simultaneously employs both handheld computers and mobile telephones and other devices that draw on the same set of functionalities, it throws open the door for swift connection between learners and teachers. This study examined and articulated the impact of the application of mobile devices for teaching English vocabulary items to 123 Iranian semi-illitera...
متن کاملIdentifying suitable habitats for brown bear (Ursus arctos) in northern Zagros forests
Wildlife is an important biological indicator of viability of ecosystems, therefore, understanding habitat requirements of species is essential for biodiversity conservation. Determining the suitability of habitats for wildlife is important for effective management and conservation of species. The brown bear (Ursus arctos), as the largest carnivorous mammal in Iran, is distributed in most fores...
متن کاملHow does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Writing Skills?
Discourse markers improve both the quality and comprehension of a written text. This study aimed at investigating the effect of explicit and implicit instruction of formal meta-discourse markers on writ- ing skills. The quantitative data were collected from 90 upper-intermediate students at Shiraz Univer- sity Language Center. Two experimental groups went through an instruction, while the contr...
متن کاملA GIS- Based suitability analysis for siting a solid waste in an urban area
An appropriate solid waste disposal has been a major problem in municipal environment. The use of landfills is the most economical and environmentally acceptable method for the disposal of solid waste all over the world. The analysis of spatial data and consideration of regulation and accepted criteria are part of the important elements in the site selection. The aim of this paper is to show ho...
متن کاملTowards an OWL Ontology for Identity on the Web
One of the main strength of the web is that it realizes the goal of allowing any party of its global community to share information with any other party. This has been achieved by making use of a unique and uniform mechanism of identification, the URI (Universal Resource Identifiers). Web applications such as search engines have been built up on this mechanism. Although URIs succeed when used f...
متن کامل